• Refine your search:
  • 
    Keyword
  • 
    Creator / Publisher
  • 
    Year:
    
    • 2014 (28)
  • 
    Medium
  • 
    Type
  • 
    BLLDB-Access

Search in the Catalogues and Directories

All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year Sort by creator [A → Z]' creator [Z → A]' publishing year ↑ (asc)' publishing year ↓ (desc)' title [A → Z]' title [Z → A]' Simple Search Page: 1 2 Hits 1 – 20 of 28 1 SawjaCard: A Static Analysis Tool for Certifying Java Card Applications Besson, Frédéric; Jensen, Thomas; Vittet, Pierre In: 21st International Static Analysis Symposium (SAS 2014) ; https://hal.inria.fr/hal-01093327 ; 21st International Static Analysis Symposium (SAS 2014), 2014, Munich, Germany. pp.51 - 67, ⟨10.1007/978-3-319-10936-7_4⟩ (2014) BASE Show details 2 A Precise and Abstract Memory Model for C Using Symbolic Values Besson, Frédéric; Blazy, Sandrine; Wilke, Pierre In: 12th Asian Symposium on Programming Languages and Systems (APLAS 2014) ; https://hal.inria.fr/hal-01093312 ; 12th Asian Symposium on Programming Languages and Systems (APLAS 2014), 2014, Singapore, Singapore. pp.449 - 468, ⟨10.1007/978-3-319-12736-1_24⟩ (2014) BASE Show details 3 Planning Human-Computer Improvisation Nika, Jérôme; Echeveste, José-Manuel; Chemillier, Marc... In: International Computer Music Conference ; https://hal.archives-ouvertes.fr/hal-01053834 ; International Computer Music Conference, Sep 2014, Athens, Greece ; http://icmc14-smc14.net (2014) BASE Show details 4 The Package Blueprint: visually analyzing and quantifying package dependencies Abdeen, Hani; Ducasse, Stéphane; Pollet, Damien... In: ISSN: 0167-6423 ; Science of Computer Programming ; https://hal.inria.fr/hal-00957695 ; Science of Computer Programming, Elsevier, 2014, 89 (Part C), pp. 298-319. ⟨10.1016/j.scico.2014.02.016⟩ (2014) BASE Show details 5 ЯЗЫК СПЕЦИФИКАЦИИ ВИРТУАЛЬНОГО ОБОРУДОВАНИЯ ЭМУЛЯТОРОВ ЭВМ БУРЛАКОВ АЛЕКСЕЙ СЕРГЕЕВИЧ. - : Федеральное государственное бюджетное образовательное учреждение высшего образования «Иркутский национальный исследовательский технический университет», 2014 BASE Show details 6 COSMO : a Bayesian model of sensori-motor interactions in speech perception ; COSMO : un modèle bayésien des interactions sensori-motrices dans la perception de la parole Laurent, Raphael. - : HAL CCSD, 2014 In: https://tel.archives-ouvertes.fr/tel-01113286 ; Autre [cs.OH]. Université de Grenoble, 2014. Français. ⟨NNT : 2014GRENM063⟩ (2014) BASE Show details 7 Logically timed specifications in the AADL : a synchronous model of computation and communication (recommendations to the SAE committee on AADL) Besnard, Loïc; Borde, Etienne; Dissaux, Pierre... In: https://hal.inria.fr/hal-00970244 ; [Technical Report] RT-0446, INRIA. 2014, pp.27 (2014) BASE Show details 8 Polymorphic Functions with Set-Theoretic Types. Part 1: Syntax, Semantics, and Evaluation Castagna, Giuseppe; Nguyen, Kim; Xu, Zhiwu... In: POPL '14, 41th ACM Symposium on Principles of Programming Languages ; https://hal.archives-ouvertes.fr/hal-00907166 ; POPL '14, 41th ACM Symposium on Principles of Programming Languages, Jan 2014, San Diego, United States. pp.5-17, ⟨10.1145/2535838.2535840⟩ (2014) BASE Show details 9 Code Your Own Game: The Case of Children with Hearing Impairments Giannakos, Michail,; Jaccheri, Letizia In: Lecture Notes in Computer Science ; 13th International Conference Entertainment Computing (ICEC) ; https://hal.inria.fr/hal-01408511 ; 13th International Conference Entertainment Computing (ICEC), Oct 2014, Sydney, Australia. pp.108-116, ⟨10.1007/978-3-662-45212-7_14⟩ (2014) BASE Show details 10 Dislog: a Logic-Based Language for Processing Discourse Saint-Dizier, Patrick In: Logic Programming: Theory, Practices and Challenges - Proceedings of the 8th International Conference on Language Resources and Evaluation (LREC 2012) ; https://hal.archives-ouvertes.fr/hal-03224122 ; Columbus, Nadya. Logic Programming: Theory, Practices and Challenges - Proceedings of the 8th International Conference on Language Resources and Evaluation (LREC 2012), L12-1 (paper 17), European Language Resources Association (ELRA), pp.2770-2777, 2014 ; https://www.aclweb.org/anthology/L12-1017/ (2014) BASE Show details 11 Automating Variability Model Inference for Component-Based Language Implementations Vacchi, Edoardo; Cazzola, Walter; Combemale, Benoit... In: SPLC'14 - 18th International Software Product Line Conference ; https://hal.inria.fr/hal-01023864 ; SPLC'14 - 18th International Software Product Line Conference, Sep 2014, Florence, Italy (2014) BASE Show details 12 τC: C with process network extensions for embedded manycores Goubier, T.; Couroussé, Damien; Azaiez, S. In: ISSN: 1877-0509 ; EISSN: 1877-0509 ; Procedia Computer Science ; https://hal-cea.archives-ouvertes.fr/cea-01831559 ; Procedia Computer Science, Elsevier, 2014, 29, pp.1100-1112. ⟨10.1016/j.procs.2014.05.099⟩ (2014) BASE Show details 13 Instrumentation of annotated c programs for test generation Petiot, G.; Botella, B.; Julliand, J.... In: 2014 IEEE 14th International Working Conference on Source Code Analysis and Manipulation ; https://hal-cea.archives-ouvertes.fr/cea-01836306 ; 2014 IEEE 14th International Working Conference on Source Code Analysis and Manipulation, Sep 2014, Victoria, Canada. pp.105-114, ⟨10.1109/SCAM.2014.19⟩ (2014) BASE Show details 14 Mezzo: a typed language for safe effectful concurrent programs ; Mezzo: un langage typé pour programmer de manière concurrent et sure en présence d'effets Protzenko, Jonathan. - : HAL CCSD, 2014 In: https://hal.inria.fr/tel-01086106 ; Programming Languages [cs.PL]. Université Paris Diderot - Paris 7, 2014. English (2014) BASE Show details 15 Mining Relevant Sequence Patterns with CP-based Framework Kemmar, Amina; Ugarte Rojas, Willy; Loudni, Samir... In: IEEE Int. Conf. on Tools with Artificial Intelligence (ICTAI 2014) ; https://hal.archives-ouvertes.fr/hal-01145905 ; IEEE Int. Conf. on Tools with Artificial Intelligence (ICTAI 2014), 2014, Limassol,, Cyprus. pp.552-559 (2014) BASE Show details 16 (Co)recursion in Logic Programming: Lazy vs Eager ... Heras, Jónathan; Komendantskaya, Ekaterina; Schmidt, Martin. - : arXiv, 2014 Abstract: CoAlgebraic Logic Programming (CoALP) is a dialect of Logic Programming designed to bring a more precise compile-time and run-time analysis of termination and productivity for recursive and corecursive functions in Logic Programming. Its second goal is to introduce guarded lazy (co)recursion akin to functional theorem provers into logic programming. In this paper, we explain lazy features of CoALP, and compare them with the loop-analysis and eager execution in Coinductive Logic Programming (CoLP). We conclude by outlining the future directions in developing the guarded (co)recursion in logic programming. ... : To appear in Theory and Practice of Logic Programming (TPLP) ... Keyword: FOS Computer and information sciences; Logic in Computer Science cs.LO; Programming Languages cs.PL URL: https://arxiv.org/abs/1402.3690 https://dx.doi.org/10.48550/arxiv.1402.3690 BASE Hide details 17 Description and Optimization of Abstract Machines in a Dialect of Prolog ... Morales, Jose F.; Carro, Manuel; Hermenegildo, Manuel. - : arXiv, 2014 BASE Show details 18 BACIBeans: A NetBeans Plugin for Concurrent Programs Broadwell, Ashley In: Seaver College Research And Scholarly Achievement Symposium (2014) BASE Show details 19 A Language Support for Exhaustive Fault-Injection in Message-Passing System Models ... Suzuki, Masaya; Watanabe, Takuo. - : arXiv, 2014 BASE Show details 20 Martta: A C++ Language Workbench ... Wood, Gavin. - : arXiv, 2014 BASE Show details Page: 1 2

Mobile view All Catalogues UB Frankfurt Linguistik 0 IDS Mannheim 0 OLC Linguistik 0 UB Frankfurt Retrokatalog 0 DNB Subject Category Language 0 Institut für Empirische Sprachwissenschaft 0 Leibniz-Centre General Linguistics (ZAS) 0 Bibliographies BLLDB 0 BDSL 0 IDS Bibliografie zur deutschen Grammatik 0 IDS Bibliografie zur Gesprächsforschung 0 IDS Konnektoren im Deutschen 0 IDS Präpositionen im Deutschen 0 IDS OBELEX meta 0 MPI-SHH Linguistics Collection 0 MPI for Psycholinguistics 0 Linked Open Data catalogues Annohub 0 Online resources Link directory 0 Journal directory 0 Database directory 0 Dictionary directory 0 Open access documents BASE 28 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0